22,887 research outputs found

    The price of pioneering: power and paralysis in Eveline Hasler's novels "Die Wachsflügelfrau" and "Der Zeitreisende"

    Get PDF
    Eveline Hasler's historical novels Die Wachsflügelfrau: Geschichte der Emily Kempin-Spyri (1991) and Der Zeitreisende: Die Visionen des Henry Dunant (1994) portray the influential but vexed lives of two nineteenth-century Swiss pioneers: Emily Kempin, the first German-speaking female law graduate, and Henry Dunant, founder of the International Red Cross and winner of the first Nobel Peace Prize. The article examines Hasler's depiction of the personal struggle of these individuals to effect change in society, and assesses the literary achievement of two works which contribute indirectly to the ongoing discourse on women's employment rights and the ethics of humanitarian aid

    Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems

    Get PDF
    This paper is concerned with the development of reliable real-time systems for use in high integrity applications. It advocates the use of diverse replicated channels, but does not require the dependencies between the channels to be evaluated. Rather it develops and extends the approach of Little wood and Rush by (for general systems) by investigating a two channel system in which one channel, A, is produced to a high level of reliability (i.e. has a very low failure rate), while the other, B, employs various forms of static analysis to sustain an argument that it is perfect (i.e. it will never miss a deadline). The first channel is fully functional, the second contains a more restricted computational model and contains only the critical computations. Potential dependencies between the channels (and their verification) are evaluated in terms of aleatory and epistemic uncertainty. At the aleatory level the events ''A fails" and ''B is imperfect" are independent. Moreover, unlike the general case, independence at the epistemic level is also proposed for common forms of implementation and analysis for real-time systems and their temporal requirements (deadlines). As a result, a systematic approach is advocated that can be applied in a real engineering context to produce highly reliable real-time systems, and to support numerical claims about the level of reliability achieved

    Genus Ranges of Chord Diagrams

    Full text link
    A chord diagram consists of a circle, called the backbone, with line segments, called chords, whose endpoints are attached to distinct points on the circle. The genus of a chord diagram is the genus of the orientable surface obtained by thickening the backbone to an annulus and attaching bands to the inner boundary circle at the ends of each chord. Variations of this construction are considered here, where bands are possibly attached to the outer boundary circle of the annulus. The genus range of a chord diagram is the genus values over all such variations of surfaces thus obtained from a given chord diagram. Genus ranges of chord diagrams for a fixed number of chords are studied. Integer intervals that can, and cannot, be realized as genus ranges are investigated. Computer calculations are presented, and play a key role in discovering and proving the properties of genus ranges.Comment: 12 pages, 8 figure

    New class of thermosetting plastics has improved strength, thermal and chemical stability

    Get PDF
    New class of thermosetting plastics has high hydrocarbon content, high stiffness, thermal stability, humidity resistance, and workability in the precured state. It is designated cyclized polydiene urethane, and is applicable as matrices to prepare chemically stable ablative materials for rocket nose cones of nozzles

    The low frequency cutoff of ELF emissions

    Get PDF
    Extremely low and very low frequency radio noises observed by satellites in ionospher

    The low frequency cutoff of ELF emissions Progress report, May 1968

    Get PDF
    Low frequency cutoff of extremely low radio frequency emission

    Addressing the challenges of modeling the scattering from bottlebrush polymers in solution

    Get PDF
    Small‐angle scattering measurements of complex macromolecules in solution are used to establish relationships between chemical structure and conformational properties. Interpretation of the scattering data requires an inverse approach where a model is chosen and the simulated scattering intensity from that model is iterated to match the experimental scattering intensity. This raises challenges in the case where the model is an imperfect approximation of the underlying structure, or where there are significant correlations between model parameters. We examine three bottlebrush polymers (consisting of polynorbornene backbone and polystyrene side chains) in a good solvent using a model commonly applied to this class of polymers: the flexible cylinder model. Applying a series of constrained Monte‐Carlo Markov Chain analyses demonstrates the severity of the correlations between key parameters and the presence of multiple close minima in the goodness of fit space. We demonstrate that a shape‐agnostic model can fit the scattering with significantly reduced parameter correlations and less potential for complex, multimodal parameter spaces. We provide recommendations to improve the analysis of complex macromolecules in solution, highlighting the value of Bayesian methods. This approach provides richer information for understanding parameter sensitivity compared to methods which produce a single, best fit

    VIoLET: A Large-scale Virtual Environment for Internet of Things

    Full text link
    IoT deployments have been growing manifold, encompassing sensors, networks, edge, fog and cloud resources. Despite the intense interest from researchers and practitioners, most do not have access to large-scale IoT testbeds for validation. Simulation environments that allow analytical modeling are a poor substitute for evaluating software platforms or application workloads in realistic computing environments. Here, we propose VIoLET, a virtual environment for defining and launching large-scale IoT deployments within cloud VMs. It offers a declarative model to specify container-based compute resources that match the performance of the native edge, fog and cloud devices using Docker. These can be inter-connected by complex topologies on which private/public networks, and bandwidth and latency rules are enforced. Users can configure synthetic sensors for data generation on these devices as well. We validate VIoLET for deployments with > 400 devices and > 1500 device-cores, and show that the virtual IoT environment closely matches the expected compute and network performance at modest costs. This fills an important gap between IoT simulators and real deployments.Comment: To appear in the Proceedings of the 24TH International European Conference On Parallel and Distributed Computing (EURO-PAR), August 27-31, 2018, Turin, Italy, europar2018.org. Selected as a Distinguished Paper for presentation at the Plenary Session of the conferenc
    corecore